document.write (" 31142 ");