document.write (" 12231 ");