document.write (" 12247 ");