document.write (" 12026 ");