document.write (" 12290 ");