document.write (" 7247 ");