document.write("4042 ");