document.write (" 12048 ");