document.write (" 11247 ");