document.write(" 1042");