document.write (" 12293 ");