document.write (" 12157 ");