document.write (" 5302 ");