document.write (" 4247 ");