function array_push ( array ) {	// Push one or more elements onto the end of array
	// 
	// +   original by: Kevin van Zonneveld (http://kevin.vanzonneveld.net)

	var i, argv = arguments, argc = argv.length;

	for (i=1; i < argc; i++){
		array[array.length++] = argv[i];
	}

	return array.length;
}