document.write (" 5345 ");