document.write (" 35142 ");