document.write (" 7246 ");