document.write (" 17231 ");