document.write (" 3742 ");