document.write (" 4042 ");