document.write (" 5347 ");