document.write (" 12487 ");