document.write (" 12032 ");