document.write (" 7102 ");