document.write (" 5247 ");