document.write (" 7253 ");