private final int[] getWin32MediaAttrib() {
int wid_ht[] = {0, 0};
if (attributes != null) {
Media media = (Media)attributes.get(Media.class);
if (media instanceof MediaSizeName) {
MediaSizeName msn = (MediaSizeName)media;
MediaSize ms = MediaSize.getMediaSizeForName(msn);
if (ms != null) {
wid_ht[0] = (int)(ms.getX(MediaSize.INCH) * 72.0);
wid_ht[1] = (int)(ms.getY(MediaSize.INCH) * 72.0);
}