document.write (" 3067 ");