document.write (" 12002 ");