document.write (" 10131 ");