</div>
</div>
</div>
<script type="text/javascript">
$(document).ready(function() {
$.post("/portal_version/", function( data ) {
</div>
</div>
</div>
<script type="text/javascript">
$(document).ready(function() {
$.post("/portal_version/", function( data ) {