document.write (" 5102 ");