document.write (" 12416 ");