<?php

function convert_resrc_format($value){
	if ($value == 1){
		echo("Book");
	}
	if ($value == 2){
		echo("Video: VHS/SVHS");
	}
	if ($value == 3){
		echo("Video: DVD");
	}
	if ($value == 4){
		echo("Video: VCD");
	}
	if ($value == 5){
		echo("Video: Laser Disc");
	}
	if ($value == 6){
		echo("Magazine Article");
	}
	if ($value == 7){
		echo("On-line Article");
	}
	if ($value == 8){
		echo("URL");
	}
	if ($value == 9){
		echo("Text");
	}

}

?>