document.write (" 12240 ");