document.write (" 12478 ");