document.write (" 4246 ");