document.write (" 42738 ");