document.write (" 12496 ");