document.write (" 31145 ");