document.write (" 12096 ");