document.write (" 37142 ");