document.write (" 12414 ");