document.write("5072");

/*
<!-- NAO RETIRE O COMENTARIO ABAIXO -->
<!-- OK -->
*/