document.write (" 7521 ");