document.write (" 12052 ");