document.write(" 3042")